4

Positive Dedalus programs tolerate non-causality

Year:
2014
Language:
english
File:
PDF, 1.04 MB
english, 2014
6

Deciding Confluence for a Simple Class of Relational Transducer Networks

Year:
2015
Language:
english
File:
PDF, 1.05 MB
english, 2015
9

Deciding Determinism with Fairness for Simple Transducer Networks

Year:
2015
Language:
english
File:
PDF, 293 KB
english, 2015
11

30 Years of PODS in facts and figures

Year:
2011
Language:
english
File:
PDF, 799 KB
english, 2011
14

Relational transducers for declarative networking

Year:
2013
Language:
english
File:
PDF, 280 KB
english, 2013
15

Positive Neural Networks in Discrete Time Implement Monotone-Regular Behaviors

Year:
2015
Language:
english
File:
PDF, 348 KB
english, 2015